翻訳と辞書
Words near each other
・ CQC
・ CQC-6
・ CQD
・ CQF
・ CQG
・ CQI
・ CQL
・ CPM S30V steel
・ CPM-GOMS
・ CPMA
・ CPMP
・ CPMulator
・ CPN
・ CPN Cudis
・ CPN Radio
CPN Tools
・ CPN(ML)
・ CPN-AMI
・ CPN1
・ CPN2
・ CPNB
・ CPNE1
・ CPNE4
・ CPNE6
・ CPNE8
・ CPNI
・ CPNT
・ CPO
・ CPO (group)
・ CPO Boss Hogg (rapper)


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

CPN Tools : ウィキペディア英語版
CPN Tools
CPN Tools is a tool for editing, simulating, and analyzing high level Petri nets. It supports basic Petri nets plus timed Petri nets and Colored Petri nets. It has a simulator and a state space analysis tool is included.
CPN Tools is originally developed by the CPN Group at Aarhus University from 2000 to 2010. The main architects behind the tool are Kurt Jensen, Søren Christensen, Lars M. Kristensen, and Michael Westergaard. From the autumn of 2010, CPN Tools is transferred to the AIS group, Eindhoven University of Technology, The Netherlands.
CPN Tools comprises two main components, a graphical editor and a backend simulator component. The graphical editor is written in the academic language, BETA, and the simulator backend is written in the Standard ML variant SML/NJ.
== External links ==

* (cpntools.org ) CPN Tools

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「CPN Tools」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.